Linear syntax for communicating elementary mathematics
نویسندگان
چکیده
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system implementors to adopt a linear syntax to allow students to communicate their answer to the machine. In this paper we consider the problems students encounter when mediating between (i) traditional mathematical notation and (ii) the requirements of a strict computer algebra system (CAS) syntax. We compare the linear syntaxes of five commonly used general purpose CAS, and report surprising variety even at the elementary levels.
منابع مشابه
Elementary Math Models: College Algebra Topics and a Liberal Arts Approach
It would be difficult to overstate the importance of algebra in mathematics. If mathematics is the language of science, then algebra provides the alphabet, vocabulary, and syntax. In particular, the traditional college algebra course covers the elementary functions of analysis: linear and quadratic functions; polynomials and rational functions; roots, exponentials, and logs. These functions are...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملAn Analysis of ( Linear ) Exponentials Based on
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simpliies the syntax of Light and Elementary Linear Logic.
متن کاملCategory Theory Foundation For Engineering Modelling
Category theory provides a formal foundation for engineering modelling, as well as, mathematics and science. Both structure and behaviour, as they occur in engineering models for manufactured products and biomedicine, can be embedded as axiom sets within a mathematical formalism, called Algos. The Algos language is a two sorted first order Horn clause theory based on topos language construction...
متن کاملElementary linear logic revisited for polynomial time and an exponential time hierarchy (extended version)
Elementary linear logic is a simple variant of linear logic, introduced by Girard and which characterizes in the proofs-as-programs approach the class of elementary functions (computable in time bounded by a tower of exponentials of fixed height). Other systems, like light linear logic have then been defined to capture in a similar way polynomial time functions, but at the price of either a mor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 42 شماره
صفحات -
تاریخ انتشار 2007